Constraint Logic Programming over Integers

Constraint Logic Programming over Finite Domains

Boolean Constraint Solving in Prolog

Simple timetabling engine for schools

Valuable code and exercises about the book "Constraint Handling Rules (2009)" .

Experimental implementation of a limited MD5 algorithm in the Prolog programming language

🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint Satisfaction Problem

Logic constraint programming

A clp system in Prolog developed during a CS course at Ecole Polytechnique

Prioritization and placement of roadside units in Intelligent transportation systems.

Code for UoM lesson "Constraint Programming"

I made this as a minor project in the second semester of my MSc IT.

Cinemática direta e inversa - Prolog

Puzzle solving with ECLiPse CLP and Constraint Handling Rules

Module containing predicates used to solve logic puzzles.

Logic Programming, Spring 2016-2017, Algorithmic problem solutions in Logic Programming (Prolog)

CSP solutions using Prolog's libraries

second cycle first semester

Constraint Logic Programming for Flux Balance Analysis. A CSP-based method for sampling flux distributions in metabolic reaction networks.

Datasets related to the paper: "Improving the efficiency of Euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints" (Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese)